Measure theory LEMMA